EE291E Lecture Notes 9. Controllers for Safety for Continuous Systems
نویسنده
چکیده
where x ∈ X where X = R, u ∈ U is the set of control inputs and d ∈ D is the set of disturbance inputs, where U andD are convex and compact subsets of R and R respectively; f is a vector field, assumed to be globally Lipschitz in x and continuous in u and d; and the initial state x(0) ∈ Init where Init ⊆ R. We will use U to denote the set of piecewise continuous functions from R to U and D to denote the set of piecewise continuous functions from R to D. Consider a set of states F ⊆ R. Try to establish the maximal controlled invariant subset of F , i.e. the largest set of initial states for which there exists a controller that manages to keep all executions inside F . Somewhat informally this set can be characterized as:
منابع مشابه
EE291E Lecture Notes 10. Controller Synthesis for Hybrid Systems
In the last several lectures, we have discussed controller synthesis for: • Discrete Systems: design is characterized by a fixed point of a difference equation • Continuous Systems: design is characterized by a fixed point of a partial differential equation In each case, the solution is characterized as a fixed point of an equation, which we refer to as the Hamilton-Jacobi equation. In these le...
متن کاملEECS 291 E / ME 290 Q Lecture Notes 9 . Controllers for Safety for Continuous Systems
In the last lectures we have discussed optimal control and game theory for continuous systems: we highlighted mathematical tools (calculus of variations and dynamic programming) that may be used to solve these problems. In this lecture, we show how these methods may be applied to the problem of solving the reachability problem and synthesizing controllers for continuous systems: ẋ(t) = f(x(t), ...
متن کاملAA278A Lecture Notes 9. Controllers for Safety for Continuous Systems
In the last lectures we have discussed optimal control and game theory for continuous systems: we highlighted mathematical tools (calculus of variations and dynamic programming) that may be used to solve these problems. In this lecture, we show how these methods may be applied to the problem of solving the reachability problem and synthesizing controllers for continuous systems: ẋ(t) = f(x(t), ...
متن کاملEE291E Lecture Notes 7. Controller Synthesis for Hybrid Systems I: Introduction to Discrete Games
This lecture is first in a series of lectures on designing control laws for hybrid systems. What is a control law? It is a method by which we steer the automaton using input variables, so that the closed loop exhibits certain desirable properties. A control problem involves: 1. A plant 2. A specification 3. A controller Controller synthesis involves coming up with a methodology for designing co...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012